1
The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming

Kees Doets, van Jan Eijck
Năm:
2004
Ngôn ngữ:
english
File:
PDF, 1.42 MB
5.0 / 4.5
english, 2004
2
Set theory

Set theory

Kenneth Kunen
Năm:
2013
Ngôn ngữ:
english
File:
DJVU, 3.80 MB
0 / 0
english, 2013
3
Learn Prolog Now

Learn Prolog Now

Patrick Blackburn, Johan Bos, Kristina Striegnitz
Năm:
2006
Ngôn ngữ:
english
File:
PDF, 1.63 MB
1.0 / 3.0
english, 2006
4
Knowledge and Belief - An Introduction to the Logic of the Two Notions

Knowledge and Belief - An Introduction to the Logic of the Two Notions

Jaakko Hintikka, Vincent F. Hendricks, John Symons
Năm:
2005
Ngôn ngữ:
english
File:
PDF, 5.05 MB
4.0 / 0
english, 2005
5
Microeconomics: An Intuitive Approach with Calculus

Microeconomics: An Intuitive Approach with Calculus

Thomas J. Nechyba
Năm:
2010
Ngôn ngữ:
english
File:
PDF, 71.81 MB
0 / 0
english, 2010
6
Heuristics, Probability, and Causality. Tribute to Judea Pearl

Heuristics, Probability, and Causality. Tribute to Judea Pearl

Rina Dechter, Hector Geffner, Joseph Y. Halpern
Năm:
2010
Ngôn ngữ:
english
File:
PDF, 14.27 MB
0 / 0
english, 2010
7
Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Aarne Ranta
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 1.80 MB
2.0 / 5.0
english, 2012
8
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Năm:
2012
Ngôn ngữ:
english
File:
DJVU, 2.11 MB
0 / 0
english, 2012
9
A Treatise on the Binomial Theorem

A Treatise on the Binomial Theorem

Craig Smorynski
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 28.63 MB
0 / 0
english, 2012
10
Language C++ et calcul scientifique

Language C++ et calcul scientifique

Pierre Saramito
Năm:
2013
Ngôn ngữ:
french
File:
PDF, 6.24 MB
0 / 5.0
french, 2013
11
Logical reasoning : a first course

Logical reasoning : a first course

Rob. Nederpelt, Fairouz. Kamareddine
Năm:
2011
Ngôn ngữ:
english
File:
PDF, 10.06 MB
0 / 0
english, 2011
12
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre (eds.)
Năm:
2013
Ngôn ngữ:
english
File:
PDF, 24.82 MB
0 / 0
english, 2013
13
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Năm:
2009
Ngôn ngữ:
english
File:
PDF, 24.59 MB
0 / 5.0
english, 2009
14
Intuitionistic Set Theory

Intuitionistic Set Theory

John L. Bell
Năm:
2014
Ngôn ngữ:
english
File:
PDF, 4.89 MB
0 / 0
english, 2014
15
Handbook of Paraconsistency

Handbook of Paraconsistency

Béziau, Jean-Yves, Carnielli, Walter Alexandre, Gabbay, Dov M.
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 13.24 MB
0 / 0
english, 2007
16
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
Năm:
2015
Ngôn ngữ:
english
File:
PDF, 63.98 MB
0 / 0
english, 2015
17
How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

Francesco Berto
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 31.19 MB
0 / 0
english, 2007
18
Philosophical applications of modal logic

Philosophical applications of modal logic

Humberstone, Lloyd
Năm:
2015
Ngôn ngữ:
english
File:
PDF, 78.03 MB
0 / 0
english, 2015
19
Chapters in Mathematics. from Pi to Pell

Chapters in Mathematics. from Pi to Pell

Craig Smorynski
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 15.00 MB
0 / 0
english, 2012
20
The Measurement of Intelligence

The Measurement of Intelligence

Edward L. Thorndike, E O Bregman, M V Cobb, Ella Woodyard
Năm:
1925
Ngôn ngữ:
english
File:
PDF, 28.30 MB
0 / 0
english, 1925
21
Handbook of Mathematical Fuzzy Logic

Handbook of Mathematical Fuzzy Logic

Petr Cintula, Christian G Fermueller, Carles Noguera (eds.)
Năm:
2015
Ngôn ngữ:
english
File:
PDF, 36.12 MB
0 / 0
english, 2015
22
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

C. E. Brown
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 51.63 MB
0 / 0
english, 2007
23
Errors of Reasoning. Naturalizing the Logic of Inference

Errors of Reasoning. Naturalizing the Logic of Inference

John Woods
Năm:
2013
Ngôn ngữ:
english
File:
PDF, 7.78 MB
0 / 0
english, 2013
24
Chapters in Probability

Chapters in Probability

Craig Smorynski
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 53.88 MB
0 / 0
english, 2012
25
Adventures in Formalism

Adventures in Formalism

Craig Smorynski
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 40.60 MB
0 / 0
english, 2012
26
Dictionary of Argumentation

Dictionary of Argumentation

Christian Plantin
Năm:
2018
Ngôn ngữ:
english
File:
PDF, 11.68 MB
0 / 0
english, 2018
27
The Kingship of Christ and the Conversion of the Jewish Nation

The Kingship of Christ and the Conversion of the Jewish Nation

FAHEY, Rev. Denis
Năm:
1953
Ngôn ngữ:
english
File:
PDF, 7.83 MB
0 / 5.0
english, 1953
29
Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Mihir K. Chakraborty, Benedikt Lowe, Madhabendra Nath Mitra, Sundar Sarukkai (ed.)
Năm:
2008
Ngôn ngữ:
english
File:
PDF, 28.43 MB
0 / 0
english, 2008
30
Logic and Philosophy Today

Logic and Philosophy Today

Amitabha Gupta, Johan van Benthem (ed.)
Năm:
2011
Ngôn ngữ:
english
File:
PDF, 40.10 MB
0 / 0
english, 2011
31
Meta-Argumentation. an Approach to Logic and Argumentation Theory

Meta-Argumentation. an Approach to Logic and Argumentation Theory

Maurice A. Finocchiaro
Năm:
2013
Ngôn ngữ:
english
File:
PDF, 35.86 MB
0 / 0
english, 2013
32
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov M Gabbay, John Horty, Xavier Parent (eds.)
Năm:
2013
Ngôn ngữ:
english
File:
PDF, 3.23 MB
0 / 0
english, 2013
33
New directions in logic and the philosophy of science

New directions in logic and the philosophy of science

Felline, Laura, Ledda, Antonio, Paoli, Francesco, Rossanese, Emanuele et al. (eds.)
Năm:
2016
Ngôn ngữ:
english
File:
PDF, 2.18 MB
0 / 0
english, 2016
34
Learn Prolog Now!

Learn Prolog Now!

Patrick Blackburn, Johan Bos, Kristina Striegnitz
Năm:
2001
Ngôn ngữ:
english
File:
PDF, 432 KB
0 / 4.0
english, 2001
35
Proof-theoretic Semantics

Proof-theoretic Semantics

Nissim Francez
Năm:
2015
Ngôn ngữ:
english
File:
PDF, 33.12 MB
0 / 0
english, 2015
36
The Haskell road to logic, maths and programming

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck
Năm:
2004
Ngôn ngữ:
english
File:
PDF, 1.21 MB
5.0 / 0
english, 2004
37
Philosophy and History of Talmudic Logic

Philosophy and History of Talmudic Logic

Andrew Schumann
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 3.49 MB
0 / 5.0
english, 2017
38
Aristotle's Earlier Logic

Aristotle's Earlier Logic

John Woods
Năm:
2014
Ngôn ngữ:
english
File:
PDF, 4.71 MB
0 / 0
english, 2014
39
Foundations of the formal sciences 1: the history of the concept of the formal sciences

Foundations of the formal sciences 1: the history of the concept of the formal sciences

Löwe, Benedikt, Peckhaus, Volker, Räsch, Thoralf (eds.)
Năm:
2002
Ngôn ngữ:
english
File:
PDF, 1.70 MB
0 / 0
english, 2002
40
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Năm:
2009
Ngôn ngữ:
english
File:
DJVU, 1.99 MB
0 / 0
english, 2009
41
Talmudic Logic (Studies in Talmudic Logic)

Talmudic Logic (Studies in Talmudic Logic)

Andrew Schumann
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 4.58 MB
0 / 5.0
english, 2012
42
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Luis M Augusto
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 3.71 MB
0 / 5.0
english, 2017
43
Incompleteness in the Land of Sets

Incompleteness in the Land of Sets

Melvin Fitting
Năm:
2007
Ngôn ngữ:
english
File:
DJVU, 2.84 MB
0 / 0
english, 2007
44
Proof Theory of N4-Paraconsistent Logics

Proof Theory of N4-Paraconsistent Logics

Norihiro Kamide, Heinrich Wansing
Năm:
2015
Ngôn ngữ:
english
File:
PDF, 37.87 MB
0 / 0
english, 2015
45
Gottlob Frege. Una Introducción

Gottlob Frege. Una Introducción

Markus Stepanians (Traducción Juan Redmond)
Năm:
2007
Ngôn ngữ:
spanish
File:
PDF, 2.02 MB
0 / 0
spanish, 2007
46
Algebra, Logic, Set Theory

Algebra, Logic, Set Theory

B. Loewe (ed.)
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 93.77 MB
0 / 0
english, 2007
47
Logical Reasoning: A First Course

Logical Reasoning: A First Course

Rob P. Nederpelt, Fairouz D. Kamareddine
Năm:
2004
Ngôn ngữ:
english
File:
PDF, 80.72 MB
0 / 3.0
english, 2004
48
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
Năm:
2015
Ngôn ngữ:
english
File:
DJVU, 7.29 MB
0 / 0
english, 2015
49
Rating scales in psychiatry

Rating scales in psychiatry

Tyrer, Peter J., Methuen, Caroline
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 1.11 MB
0 / 0
english, 2007
50
Symbolic Knowledge from Leibniz to Husserl

Symbolic Knowledge from Leibniz to Husserl

Abel Lassalle Casanave (ed.)
Năm:
2012
Ngôn ngữ:
english
File:
PDF, 12.90 MB
0 / 0
english, 2012